Correctness of programs and protocols through randomizationRABIN, M. O.Lecture notes in computer science. 1997, pp 1-3, issn 0302-9743, isbn 3-540-63875-XConference Paper

Comment je prescris un protocole d'automesurePOSTEL-VINAY, Nicolas.La Lettre du cardiologue. 2011, Num 446, issn 0761-5035, p. 29Article

Protocoles cryptographiques: analyse par méthodes formelles = Cryptographic protocols : analysis by formal methodsCORTIER, Véronique.Techniques de l'ingénieur. Sciences fondamentales. 2006, Vol AFM2, Num AF176, AF176.1-AF176.8, docAF176.1 [9 p.]Article

Quantum identification protocol with technologically bounded partiesNASCIMENTO, Anderson C. A; MUELLER-QUADE, Joern; IMAI, Hideki et al.Journées internationales codage et cryptographie. 2001, pp 381-390, isbn 2-7261-1179-3Conference Paper

No-switching quantum key distribution using broadband modulated coherent lightLANCE, Andrew M; SYMUL, Thomas; SHARMA, Vikram et al.Physical review letters. 2005, Vol 95, Num 18, pp 180503.1-180503.4, issn 0031-9007Article

The Protocols of the Elders of Zion and the shadowy world of Elie de CyonFOX, F.East European Jewish affairs. 1997, Vol 27, Num 1, pp 3-22, issn 1350-1674Article

ON ACHIEVING THE BEST OF BOTH WORLDS IN SECURE MULTIPARTY COMPUTATIONISHAI, Yuval; KATZ, Jonathan; KUSHILEVITZ, Eyal et al.SIAM journal on computing (Print). 2011, Vol 40, Num 1, pp 122-141, issn 0097-5397, 20 p.Article

Vérifier automatiquement les protocoles de sécurité = Automatic checking of security protocolsBOICHUT, Yohan; HEAM, Pierre-Cyrille; KOUCHNARENKO, Olga et al.Techniques de l'ingénieur. Sécurité des systèmes d'information. 2007, Vol SI1, Num RE95, issn 1953-4663, RE95.1-RE95.8Article

Test distribution : a solution for complex network system testingVIHO, César.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 4, pp 316-325, issn 1433-2779, 10 p.Article

Improvement of HWWM-authenticated key agreement protocolLEE, Sung-Woon; KIM, Hyun-Sung; YOO, Kee-Young et al.Applied mathematics and computation. 2005, Vol 162, Num 3, pp 1315-1320, issn 0096-3003, 6 p.Article

Improvement of Fan et al.'s deniable authentication protocol based on Diffie-Hellman algorithmYOON, Eun-Jun; RYU, Eun-Kyung; YOO, Kee-Young et al.Applied mathematics and computation. 2005, Vol 167, Num 1, pp 274-280, issn 0096-3003, 7 p.Article

Entanglement distillation for three-particle W class statesCAO, Zhuo-Liang; MING YANG.Journal of physics. B. Atomic, molecular and optical physics (Print). 2003, Vol 36, Num 21, pp 4245-4253, issn 0953-4075, 9 p.Article

Atomic actions, and their refinements to isolated protocolsBANACH, Richard; SCHELLHORN, Gerhard.Formal aspects of computing. 2010, Vol 22, Num 1, pp 33-61, issn 0934-5043, 29 p.Article

Fair multi-party contract signing using private contract signaturesMUKHAMEDOV, Aybek; RYAN, Mark D.Information and computation (Print). 2008, Vol 206, Num 2-4, pp 272-290, issn 0890-5401, 19 p.Conference Paper

CHAP and rewrite componentsVAGVÖLGYI, Sándor.Acta informatica. 2011, Vol 48, Num 5-6, pp 317-361, issn 0001-5903, 45 p.Article

If SWORD is the answer, what is the question?: Use of the Simple Web-service Offering Repository Deposit protocolLEWIS, Stuart; HAYES, Leonie; NEWTON-WADE, Vanessa et al.Program (London. 1966). 2009, Vol 43, Num 4, pp 407-418, issn 0033-0337, 12 p.Article

CURE THERMALE ET FONCTIONS COGNITIVES PROTOCOLE D'UNE ÉTUDE MULTICENTRIQUEAVRIL, Pierre B.Presse thermale et climatique. 2008, Vol 145, pp 263-268, issn 0032-7875, 6 p.Article

A cooperative effort to exchange age reading experience and protocols between European fish institutesAPPELBERG, M; FORMIGO, N; WRIGHT, P et al.Fisheries research. 2005, Vol 76, Num 2, pp 167-173, issn 0165-7836, 7 p.Article

Protocol for measuring permeability and form coefficient of porous mediaLAGE, José L; KRUEGER, Paul S; NARASIMHAN, Arunn et al.Physics of fluids (1994). 2005, Vol 17, Num 8, pp 088101.1-088101.4, issn 1070-6631Article

A new deniable authentication protocol from bilinear pairingsRONGXING LU; ZHENFU CAO.Applied mathematics and computation. 2005, Vol 168, Num 2, pp 954-961, issn 0096-3003, 8 p.Article

Efficient nonce-based remote user authentication scheme using smart cardsLEE, Sung-Woon; KIM, Hyun-Sung; YOO, Kee-Young et al.Applied mathematics and computation. 2005, Vol 167, Num 1, pp 355-361, issn 0096-3003, 7 p.Article

Security of Tseng-Jan's conference key distribution systemRYU, Eun-Kyung; IM, Jae-Yuel; YOO, Kee-Young et al.Applied mathematics and computation. 2005, Vol 167, Num 2, pp 833-839, issn 0096-3003, 7 p.Article

Round Robin is optimal for fault-tolerant broadcasting on wireless networksCLEMENTI, Andrea E. F; MONTI, Angelo; SILVESTRI, Riccardo et al.Journal of parallel and distributed computing (Print). 2004, Vol 64, Num 1, pp 89-96, issn 0743-7315, 8 p.Article

Responsive round complexity and concurrent zero-knowledgeCOHENL, Tzafrir; KILIAN, Joe; PETRANK, Erez et al.Lecture notes in computer science. 2001, pp 422-441, issn 0302-9743, isbn 3-540-42987-5Conference Paper

Ethical protocols designTURILLI, Matteo.Ethics and information technology. 2007, Vol 9, Num 1, pp 49-62, issn 1388-1957, 14 p.Article